密歇尔斯基方程 推导